first and higher order properties

first and higher order properties
Макаров: свойства первого и высших порядков

Универсальный англо-русский словарь. . 2011.

Игры ⚽ Нужен реферат?

Смотреть что такое "first and higher order properties" в других словарях:

  • Higher-order logic — In mathematics, higher order logic is distinguished from first order logic in a number of ways.One of these is the type of variables appearing in quantifications; in first order logic, roughly speaking, it is forbidden to quantify over predicates …   Wikipedia

  • Higher-order abstract syntax — In computer science, higher order abstract syntax (abbreviated HOAS) is a technique for the representation of abstract syntax trees for languages with variable binders.Relation to first order abstract syntaxAn abstract syntax tree is abstract… …   Wikipedia

  • higher-order logic — One in which the variables of the quantifiers are permitted to range over properties and functions as well as individuals (see also first order language ) …   Philosophy dictionary

  • First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… …   Wikipedia

  • Order of Aviz — (Ordem Militar de Avis) Emblem of the Order Award of …   Wikipedia

  • Order of the Sacred Treasure — 瑞宝章 Grand Cordon of the Order of the Sacred Treasure Awarded by the Emperor of Japan Type …   Wikipedia

  • Order (exchange) — An order in a market such as a stock market, bond market, commodity market or financial derivative market is an instruction from customers to brokers to buy or sell on the exchange. These instructions can be simple or complicated. There are some… …   Wikipedia

  • Order of Saint Lazarus — This article concerns the order of knighthood named after Saint Lazarus. For other uses of the name Lazarus, see Lazarus (name). Cross of the Order of Saint Lazarus The Military and Hospitaller Order of Saint Lazarus of Jerusalem is an order of… …   Wikipedia

  • first-order language — A language in which the quantifiers contain only variables ranging over individuals (not, in particular, ranging over properties of those individuals), and the functions have as their arguments only individual variables or constants. In a second… …   Philosophy dictionary

  • First War of Scottish Independence — Infobox Military Conflict conflict= First War of Scottish Independence partof= date=1296 1328 place=Scotland result=Scottish victory, Scotland maintained its independence combatant1= combatant2= commander1=Andrew de Moray Sir William Wallace… …   Wikipedia

  • Order of Saint John (Bailiwick of Brandenburg) — Badge Religious affiliation Christian (Protestant) Ribbon Black Herrenmeister H.R.H. Oskar, Prince of Prussia Established …   Wikipedia


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»